Поиск по сайту

ГлавнаяПоиск по сайту

Информация

По вашему запросу найдено материалов: 1
Искать:
Булавинцев В. Г., Семенов А. А. «О GPU-реализации ограниченной версии нехронологического алгоритма DPLL» // Прикладная дискретная математика. Приложение 2013. №6 (Приложение) C.111-112
Семенов А. А. , Булавинцев В. Г. «О GPU-реализации ограниченной версии нехронологического алгоритма DPLL» // Прикладная дискретная математика. Приложение 2013. №6 C.111-112